The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
11th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems IEA-98-AIE Benicàssim, Castellón, Spain, June 1–4, 1998 Proceedings, Volume I
CommonKADS methodology for the analysis of human expertise and the development of knowledge based systems yields as a result a library of generic tasks and problem solving methods (PSM's), to be used as components of a conceptual model; later on the corresponding formal and design models have to be made. Currently, given the conceptual model, a complete description that explains how we can obtain...
The goal of Recursion Manipulation (RM) is to design a calculator that provides formal proofs for a particular type of formulae corresponding to the task of program construction and program verification of recursive procedures. Recalling first that Gödel's result cannot be used as a mathematically justifiable argument against RM, the paper illustrates the strategic importance of RM in the design of...
This paper discusses an important issue on the intelligent systems to solve large scale problem, especially on the way of making computer programs automatically. Since an activity that human beings design a problem solving system is a kind of problem solving, a new modeling scheme that can deal with multi-level structures is necessary for representing problem solving itself. A large scale system used...
This paper describes the development and validation of a knowledge-level model of concurrent design. Concurrent design is characterised by the extent to which multidisciplinary perspectives influence all stages of the product design process. This design philosophy is being increasingly used in industry to reduce costs and improve product quality. We propose an essentially rational model for concurrent...
We present techniques for design and implementation of software systems with AI and concurrent S.E. techniques. The stages of conceptualization, design and implementation are defined by Al methods. Software systems are proposed to be designed through knowledge acquisition, specification, and multiagent implementations. Multi-agent implementations are proposed to facilitate a fault tolerant software...
In this paper we present an approach to model a complex information system based on the integration of existing information systems. We emphasise on the comparison phase of the integration process in which similarities and conflicts between the initial systems must be detected. We show how object classes can be compared using behavioural aspects of objects and we discuss conflicts that can occur between...
Data structuring mechanisms suited to complex problem solving environments have, in general, only been satisfactory for static processes. The challenge of complexity, for example, of process dynamics, in which human managers interact continuously with control systems and environmental changes, has focussed our research program on new paradigms in knowledge engineering and their associated requirements...
The objective of this paper is to discuss some aspects of large scale knowledge bases, especially the ways of building knowledge bases from the view point of using knowledge bases for solving real problems and for assuring knowledge based systems generality. A new modeling scheme for representing problems including strategic decision is discussed as well as a way of generating problem specific problem...
To build a knowledge base for an intelligent help system, as Aran, is an essential and difficult phase. In Aran, a knowledge based assistant to help users in the use of UNIX systems, we integrate the traditional manual approach of conceptual information structuring with a complementary one based on Formal Concept Analysis (FCA). FCA allow us to obtain the domain formal concepts (semi) automatically...
This paper presents a knowledge-level analysis of the task program supervision based on two different systems: PEGASE and PULSAR. A knowledge-level analysis of a knowledge-based system reveals the organisation of the knowledge it uses, and how it uses this knowledge to solve the task. It is also the key to determine the set of properties that it assumes on domain knowledge. These aspects have been...
Modelling syllogistic — inferential processes in polyvalent logic by diachronic syllogistic structures, we realise their QUADRI DIMENSIONAL interpretation, in the paper, by relational — objectual — propertational chains convergent in diachronic spaces. Aristotle considered the definition the motor nerve of syllogistic deduction, the medium term being a definition. Leibnitz conceived the definition...
This paper deals with a complete and correct method to compute how many plans exist for an assembly or processing task. Planning is a NP-hard problem and then, in some situations, the application of time consuming search methods must be avoided. However, up to now the computation of the exact number of alternative plans for any situation was not reported elsewhere. Notice that the complexity of the...
Recently a randomized algorithm based on Davis and Putnam Procedure was designed in [16] for the purpose of solving the satisfiabilty problem. In this letter another Monte Carlo algorithm following from an original algorithm [4] is proposed. The average performance of the algorithm is polynomial and the probability that the algorithm fails to yield a correct answer for some data is less than e. Results...
Hardware-software Co-design is a new discipline that provides methodologies and tools for the fast development of complex heterogeneous systems by combining hardware and software development cycles. This paper shows how the Propose&Revise PSM can be used to solve the hardware-software partitioning problem, the Co-design task that makes the decision on the best implementation of the different...
We will describe several methods to approximate the fuzzy rules tuning and generation problem. To generate the rules we will use several clustering algorithms. This approach supposes that the data lacks of structure. To tune the rules we will use two different techniques. One of them is based in descent gradients. The other one is based in a try to tune the rules outputs to reduce the error.
A hybrid generative-discriminative diagnostic system based on a symbolic learner (FGAL) retrofitted with Gaussian kernel densities for generating instantaneous class probabilities which are further used by a hidden Markov model to estimate the most likely state (fault) given the past evidence is introduced for real time process fault diagnosis. The system allows symbolic knowledge extraction, it is...
Linguistic approximation is a well known problem in fuzzy set theory to describe an arbitrary fuzzy set in the most appropriate linguistic terms. It involves a search through the space of linguistic descriptions (labels) generated according to a given grammar and vocabulary. The vocabulary and grammar specify a language structure, i.e. allowable and meaningful combinations of primary linguistic terms,...
In this paper a general methodology for studying and solving fuzzy relation equations based on sup-t composition, where t is any continuous triangular norm, is proposed. To this end the concept of the “solution matrices” is introduced, as a way of representing the process information required for the resolution. Using this concept, the solution existence of a fuzzy relation equation is first examined...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.